Handling Looping and Optional Actions in YAPPR
نویسندگان
چکیده
Previous work on the YAPPR plan recognition system provided algorithms for translating conventional HTN plan libraries into lexicalized grammars and treated the problem of plan recognition as one of parsing. To produce these grammars required a fixed bound for any loops within the grammar and a presented a problem for optional actions within HTN plans. In this work we show that well known transformations from formal language theory can be used to rewrite the plan grammars to remove these limitations on the plan libraries.
منابع مشابه
An analytical on the gap between theory and action in Allamah Tabatabaei
The gap between theory and ethical action is known an important problem in ethics and education. Analyzing the relationship between theory and ethical action and deciding the elements having to do with optional actions of human and their interaction, one may perceive the reasons and roots of the gap and, on this basis, improve educational theories to attain the harmony between theory and action...
متن کاملImproving Program Correctness with Atomic Exception Handling
Exception handling is a powerful mechanisms for dealing with failures at runtime. It simplifies the development of robust programs by allowing the programmer to implement recovery actions and tolerate non-fatal errors. Yet, exception handling is difficult to get right! The complexity of correct exception handling is a major cause for incorrect exception handling. It is therefore important to re...
متن کاملOn plan recognition and parsing
Probabilistic plan recognition systems based on weighted model counting all work roughly the same way: first they compute the exclusive and exhaustive set of models that explain a given set of observations; next they assign a probability to each model; finally they compute the likelihood of a particular goal by summing the probability of the explanatory models1 in which that goal occurs. In thi...
متن کاملComputational Fluid Dynamics Study of a Complete Coal Direct Chemical Looping Sub-Pilot Unit
The present Computational Fluid Dynamics (CFD) work deals with the modeling of complete coal direct chemical looping sub-pilot unit which use coal as fuel and ferric oxide supported on alumina as an oxygen carrier. The 2D CFD model of the complete arrangement incorporating both fuel and air reactors and their inter-connecting parts was solved using FLUENT. The CFD model wa...
متن کاملA Scheduler for Actions with Iterated Durations
A wide range of robotic missions contain actions that exhibit looping behavior. Examples of these actions include picking fruit in agriculture, pick-and-place tasks in manufacturing and search patterns in robotic search or survey missions. These looping actions often have a range of acceptable values for the number of loops and a preference function over them. For example, during robotic survey...
متن کامل